perm filename CMSY8.360[GF,SYS] blob sn#803141 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#~Mπ∧  H∧⊃h∞ε ⊗λ↓XExαW`Up@ Ep@ Eh@@Eh@@E`@`EX↓`EXAEP↓↓EPA EHA@E@↓↓@E@A`E8↓↓`E0↓αE(↓α U(λ∃α∃_↓βDXA@ hα∩`⊂(↓C TP↓@`0pαRA↓α∩@qλβR@a⊂αR`D("⊂C⊃P
εA⊂βAJ⊂_αB)p(↓@@@0(↓ ⊂β↓* @A (↓A⊂_(↓A⊂_(↓!⊂_(↓↓ λ'A!⊂'A P_'A@8'A X'@a8'↓↓ ('↓↓0('↓↓0('aP 'aP &A↓P &@a`_&@a`⊂&↓↓P⊂&` ⊂∧@I@_A P_%@`⊂`%@ P8"Qλ1(εC pβ∃!% ↓↓U⊂↓↓`Eλ↓α5↓α 4x↓α 4p↓α@$h↓B $`α∪4`↓R`DX↓R`4Pα∩@DPα∩@DPα∩@TPαC$XαB 4Xβα∀`β↓ $h¬∪@t("⊃βr
εA⊂p(¬	`_↓APH&@@P ∧↓i@⊂β↓↓ 0%@`` ¬A) ⊂∧↓↓@(%!⊂ ε↓*@_π↓
@_π↓
0 π↓
0 π↓
0 πj0_π@j0_π↓
  πj _π@j _πj⊂ πJ⊂_πJ⊂_ε@J ε*_¬@J_∧@Ip_β↓	``&B(T "EBqP
β@u(¬U (αT@ @α∀ 0@↓T0H↓∀4xα∪`TxαTe∧T@eλ↓∀∀p↓∪ $`↓R`4X↓R@DPαβ $PαB@$PαB@∀Xβ↓@$Xε∪!∧("⊃Dαλ
εAa⊂*E*0_↓A↓⊂_)@P ∧@*⊂⊂β↓
_βip⊂∧ipλ∧↓_,jp +@jp_+βJ``+jP_*@j@_*j0_)@j _&@@_%A _%α	0("Qλq8πC h∧U!E_↓↓`U⊂B@E↓α`4x↓β$p↓β4h↓B`4`↓C∀`↓R`DX↓R`1R@@x↓∩@@hα∩@@hα∩@@h↓R@@`α∩@PXα∩@PPα∩`P@αR`p ↓ D`¬@@4pβ↓ 5@↓V58↓U`$h↓A@$X¬S↓∧("∩∧∩⊂
FA(	IpHλI`⊂↓A!p_&`P πi0_β↓↓`_%@`` ε@i ⊂∧↓↓P_%!⊂_ε@j@_ε@j0 ε↓
0 εj0_Cj1_)↓↓@_)↓↓@_)a@ )a@ (A↓@_(A↓@_(@a@ (@a@ (↓↓@ (aP (aP β)p_π↓@⊂'@a`(↓I`⊂λα⊂("Q	⊃X
εC Pλ∀B∃↓α $x↓α $h↓B 4h↓α E@↓V58α∃`58↓U@E0α∃@50↓U E(↓U 5 α∃5 ↓T`E_↓B%_↓α%⊂↓α$`λRb∧("∩D∩_∂εB0h-CK⊂⊂∧@Kλ¬J`⊂¬JP⊂¬j@_∧@j0_¬j0⊂¬j ⊂¬@k`_/kP .AP_.@k@ .k@_-A0 -@i@⊂ε@i0_εi  εi  ¬@i (¬I 0∧I08αI@X'↓HT %GβQP
α hα∀ 0XβS`PH↓`5α↓` 0T@0T@ ↓∀@_T@⊂T@λT0λ↓∀dxβSa∧x↓@ Dx↓@@4pα@Dp↓@`Dp↓A4hα↓Dh↓A Th↓A@D`α↓`@HS0@αα$`↓B @0↓∩`0PαA$X↓Ba∧P↓β@T("∪β⊃P
εB⊂(,Bλ↓A*`⊂αA*P_αA
@_β@J@⊂)@j  )j _(A
⊂_(@j (j_'A	p_'@i`_'b⊂&@ap_&B!⊂_&β@@⊂&@@h%@! 8"Q	Rh↔εc!↓⊗AHVA@↓∃`Q8↓U`a(α∃`a αU`⊂λα∧`U8@ A⊂β∃@ λα∧ u0@@Px↓@ E0@@Pp↓@@E0@`@p↓`E(AP`↓↓E(APX↓↓ 5(A @P↓↓@5 A@@H↓A E A@P8↓A@E A@P0↓A`E_B@(↓BE_BP_↓B E⊂B Pλαα@E⊂BAXα∀ ⊂XβCDX↓` `αC DXββ 0xαR@ppDtPβλ DXα⊃(Dp∀
βqp∩↓
@05Am 8,B_+↓↓p⊂+↓↓pλ+↓!`λ*AAPλ*AAPλ*@ ⊂(ε*PλA!@λ*@   ¬@*Pλ↓↓! λ*@ (¬*@λα↓↓⊂λ* @(∧*@λα↓!λ* P ∧*0λβ↓ `λ)@ `(β*0λβA`λ)!(α@* λ∧↓ @λ)!⊂(↓@*⊂λ¬↓ 0λ(@!0(↓)0⊂↓@!@(@I 8εAI 0π↓I 0πA	0 λ@HT 'GD↓P
β (βU (¬∀`⊂0A e⊂A@⊂8β∀ (↓BTx↓↓ 0PαS@0(↓α`Th↓A 0`α∪  (↓C D`↓A ⊂xα∩`A(α∩`10α∩`10↓R@A0↓R@A(α∩@A(↓R@A(↓R@A ↓R@Q_↓∩@Q⊂↓R`Aλ↓R`QR``pS`X↓∪ p0↓SAU∧⊃(E∂πc1P∧Cj↓('`0 βα	P⊂αA↓⊂0&@` ¬↓I0_β↓↓0(%A ε↓	 λ∧A↓@ *aP *aP_)A↓P_)A↓@_)A↓@⊂)@a@⊂)@a0λ)↓↓⊂⊂)`p_)` 0(A⊂ (A
⊂_(@j_(ip '@ip⊂'HT (G∧↓x
βA¬0ε∃ 0βT@ PαT ⊂hαT hαS@0xαS@!αS 1λα∪1⊂α∪1⊂α∩`1_α∩`1_α∩@A_↓R@A_↓R@A⊂↓R@A⊂↓R@Q↓R@Q↓R`PHA4XβA  (↓∪↓00↓∪@p8↓⊗`∃H↓∃@4h¬β $`¬β4x¬α %⊂¬↓ %(ε⊗t("∀D"_
εA⊃(¬)`_↓Ap8&@@P ∧AI@⊂β↓↓ (%@`` ¬A	 ⊂∧↓↓0 %!⊂ ¬@j@_εj@_¬@j0 ¬@J0 ¬J0 ∧@J0_∧J0_↓AJ  ↓↓J _α↓J _αA*⊂ β↓*⊂_βA*⊂_∧↓* ∧↓J_¬↓!λ(a0(β)p_ε↓@0⊂'@aP@'B("Q
1H
εC p∧∃AE ↓↓@e_↓α E⊂↓α@Eλ↓B@5α∀EαTeλβ∀A¬_∧UA¬@βV@UXαS@⊂`αS pα∩`0pα∩@@p↓R@@p↓∩@P`↓∩@`P↓∩`p0↓S↓Tp∧⊃(E ∂Hβ1X∞J!((¬)`⊂¬iP⊂¬↓	@_¬i0_¬@i0_¬↓	 _¬@i λε@jp +A
p_+@j` +↓
`_+jP *@jP_*j@_)@j0⊂)IpX'αHT *G#QP
↓ QλS px↓S⊂_αβ@Eαβ@5↓C`5↓C@Dxαβ@4x↓C@Dx↓C@Dpαβ Dp↓C@Dp↓C Th↓C@Dh↓C T`αβd`↓Cd`↓C λ↓R`@X↓ DX↓B` ⊂α∩`0P↓@@4Pαα 0_↓R@@HADPαα⊂(α∩@P(↓↓@DPβ` 8α∩aHβ∪PXα⊃(E0FCAP↓↓↓p⊂%↓aP &↓A@(&AA 0'↓!@ 'A!@_'A!P⊂(↓↓Pλ(↓↓Pλ(↓!@λ(↓!0λ(A↓ ⊂(A↓ λ(A↓⊂⊂(A↓⊂(Ap⊂(A`_(AP_(A@_(A0_(A _(A⊂_(Aj⊂0(A*((↓
_((T +J%!`
@Aλ↓β4PβC@@`α∪`hαB`DhαC PPαS@P`αC4pαB`⊂λαC$xαα`⊂λαC$xαB ⊂_αβ∀xαB _αB`∃αα⊂ αB`∃α↓` (αα@∃α↓@ 0αα@∃α↓@⊂8αα ∃α↓  8αA`%α↓ @αA`∃α↓⊂Pα↓@%α` Pα↓ %α@ Xα↓ ∃α  `α↓%α  `α@@%ββ Pλ↓∀Pxα %α∧eα∧U↓D Dx↓D@Dx↓∧`4xE$xE∀("⊗βrλ
εA0(¬@j@8∧A* ⊂↓↓!⊂((@@@(∧A
p(∧@k ∧@K ∧+ β@+ α@K ↓@K ↓+0,↓(+AJP⊂↓↓
@λα↓
 ⊂αA
⊂βA	pλ∧A	`λ¬↓	@⊂¬A	0_¬A	  ¬A @⊂%↓↓00@i (¬Ai  εA(T ,GβQx
↓ Pp↓∪AXα∪ ⊂βB@U⊂βα`5_αC% αC∃ αC∃(αβ∃(αB@∃(αB@∃0αα %0αα ∃0αα%0αα∃0α↓`%0αA %0αA58α↓%8α`%8α@%8α 58βU`e8αU`E0α∩@ Hα∩@00αR@@ α∩a$`βS T("⊗Cax
εA`@β*a*@`H)@AP_)a@_(@A`⊂(@!`⊂/@K`⊂.@K@⊂*C
@h,@@0⊂,@@λ+@J`⊂*@J@⊂)@A`⊂)!p_(@!p_'@B⊂'B_&C`⊂&¬	0λ∧B(T εβ@λ¬β∧P⊃(@0∞πC1Xε@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@I!`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂%π	!`"Q↓↓`∂εbpP∧∀@  @`%↓↓@⊂(↓∪`⊂@A`∀pB ⊂@S ⊂PB ∀`B`⊂PS⊂XB@∀XC⊂XR`⊂`B`∀PC ⊂`R@⊂hC∀PC ⊂`RCDPC ⊂`R@⊂hC∀PC ⊂`R@⊂hC∀XC⊂XR`⊂`B`∀`B`⊂PS⊂XB@∀hB@⊂HS@⊂HB∀xB⊂8T 0A %⊂↓↓⊂_↓∃↓∧("αCAp
Ea @)A⊂(A@⊂'@"λ'" λ&@ ⊂λλ ⊂λ& 0λπ 0λ& @λε @λ%@ `λ¬ `λ%@ pλ∧ pλ%!⊂λβ!⊂λ%! λα! λ%!0λ↓!0λ%!@⊂ε) λεA@λ%!0λ↓!0λ%! λα! λ%!⊂λβ!⊂λ%@ pλ∧ pλ%@ `λ¬ `λ& @λε @λ& 0λπ 0λ&@ ⊂λλ ⊂λ'" λ'@"λ(A@⊂)A⊂*αλT -Ec⊃0!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!_↓∩@!⊂↓R@1λ↓∩`0x↓S0h↓S P8αSaU⊂βQ(E`F"a0∧↓iph&A p(&aP_%@ap_%@B⊂_%b ⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂%B0⊂"Qa8EB`P↓U5_αT` λ↓∀@0λ↓T@ _↓∀ 0_↓T  (↓∀0(↓T 8↓∪`08↓S` H↓∪@0H↓S@ X↓∪ 0X↓S  h↓∪0h↓S x↓∩`0x↓R`!λ↓∩@1λ↓R@!_↓∩@!_↓⊃(ExF"a0B0⊂%B0⊂%b⊂_%@B⊂⊂%@ap_&Ap⊂&aP_&@AP⊂&@a0_'A0⊂'a⊂_'@A⊂⊂'@`p_(@p⊂(`P_(@@P⊂(@`0_)@0⊂)`⊂_)@@⊂⊂)A*@_*hT ⊃Dα"_
A`%λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∩`⊂(↓↓ ∀`A  S  ⊂↓@$x@  λTEα∀ %⊂Q(B⊂λ∧D1X∧*⊂⊂(↓
 '@ ⊂⊂@)P⊂↓@ ⊂& @⊂α)0λα@@Pλ(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂(@J⊂⊂"Q∧α(∪C"8T∃S`∀pS ∀X∩∩dDhS@∀xT∃T ∀("λ$R8εDβPλ4-λ4@- λ5@)"(%	-0λ5-⊂λ4-λ3@(T ∩	$phλ↓`⊃(T⊃8T⊃8S`⊃HS@⊃XS ⊃hRdDX∩∪ ⊃hS@⊃XS`⊃HT⊃8T⊃8T ⊃(Q(APπβ⊃0∧Cj⊃λ'A	`_&@i@_&I0_%@I _%I ⊂%I ⊂%I ⊂%i0⊂%@i@⊂&iP_'ip (D*0x"Qβ1@∞ε"`πRB∃Hα⊗`5`↓W 5p↓↔@5x↓↔`6↓_&↓_&↓_%x↓W`%p↓W@%h↓W5X↓V DPλRAt("B18EA⊂P(C	p 'iP_&i@⊂%@i0⊂%i ⊂%I!_%∧i ⊂%I _%@I0_&I@_&@i`_'A
⊂`)BHT ≤εβ↓X
@! ↓∩@! ↓∩@1⊂↓R`!⊂↓∩`1↓S!↓∪0p↓S  p↓∪  p↓∪ 0`↓SB∧pλ∪` P↓∪` P↓∪`0@↓T @↓∀00↓T  0↓∀ 0 ↓T@  ↓∀@  ↓∀@0⊂↓T` ⊂↓∀`e α∃E(↓∃ $("∞"1(
F`↓_%∧k0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂%DI1⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@I!_%∧hT ≥¬c⊂Pε@αtPW`%x↓↔`%x↓↔`%x↓↔`%x↓↔`$("¬β↓`⊃εB`⊂/↓@ -@k⊂ +A
P )A
⊂ (i` &↓	  %↓	@ 'ip (A
0 *A
p ,@k  .↓` 0Hp8ε	!@"QαQ@∞λC ↓∩@D`α∪@4xα∀ E_α∃ E8α⊗ 5Pα↔Epα↔@E`α⊗`5Hα∃`E(α∀`Eλα∀4pα∪DPα∩@$8β@β∧P⊃(Aλ∞πB1_π	!`#A`↓`%πλp8π	!`"Q
a		cP↓∩@$P↓R`$X↓∩`4`↓∪4h↓∪ $h↓S@$p↓∪@4x↓∪`5↓∀%↓T %λ↓∀ 5⊂↓∀@%⊂↓T`%_↓U% ↓∃5(↓∃ %(↓U@%0↓U`%8↓∃`5@↓⊗$("~@ 8∪G ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%HT A↓_¬@ $Pα∩@DX↓⊃(@(
¬α1_∧@J  (AJ_↓ip_αi`_βiP_∧i@_¬i0_εi _πi _πi0_εi@_¬iP_∧i`_βip_αj_↓j⊂0)↓
0⊂"Q`pλIcPPα∀@5λ↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓S`4p↓R@dPβ∪@4x↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T 5⊂↓UD("→aaλ∪G  &A	p_(j_(j_(j_(j_(j_(j_(j_(@j ⊂)A*0()J⊂_(j_(j_(j_(j_(j_(j_(j_'@iP %↓λT _I$qλ↓ `xβ∪A⊂Xα`$`↓A P@↓α$`B @(↓α`∀XB`@_↓β ∀XC@⊂C@∀PC@`xR@⊂xα∧∀PD1R@⊃αβ`∀PC``pR`⊂p@@@`R`⊂h↓`@XS⊂X↓↓ @HS @↓αP(↓S@ _ααa∀xββ`d("≤b⊃_⊃Fa@_*@ 0λ*@0⊂*@ _*@0λ)@J0⊂)@J0⊂)@J _)j _)j ⊂(@j⊂_(@j⊂_(@j⊂_(@J_(j_(j⊂(J⊂(J⊂%@ 0⊂%` ⊂%@0⊂%@ 0λ&hT ↓¬β!_	@!↓∩@0p↓R`0`↓S0P↓S 0@↓S@00↓S`0 ↓T0⊂↓T e⊂α∀@Eλβ∀0⊂↓S`0 ↓S@00↓S 0@↓S0P↓R`0`↓R@0p↓R@!↓⊃(@_λ∧B↓⊂β@J⊂⊂(@J⊂⊂%`@⊂αi0_↓@@0_&@`⊂⊂@ip0(@Ip0&@`⊂⊂@i0_↓@@0_%`@⊂αj⊂⊂(@J⊂⊂(@HT απβa0
βE(β∃ e0α⊃``∞∩CD8ββE(β∃ e0α⊃(@8∞πC1_π	!`+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@I!`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂"Q↓⊃`∂εbpP∧∀@ @↓∀ `↓∪`⊃S@⊃⊂S ⊃ S⊃0S⊃0R`⊃@R`⊃@R@⊃PR@⊃PR@⊃PRCDPF@∀PF@∀PF@∀PF@∀XF∀XF∀`E@∀`E@∀hE∀pD@∀xD∃↓β%⊂↓α% ∧⊃(@X∞πC18¬α
 ⊂∧J⊂εIpλλ)`λ	)Pλ	 ⊂λ&" λ↓@)@λλ@ @λ%@"⊂λβ)0λλ pλ%"λ∧@) λπ@! λ%!`λ¬@) λε@!@λ%!@λε@) λ¬@!`λ%! λπ@) λ∧@"λ%@ pλλ)0λβ"⊂λ& @λλ@)@λ↓@" λ&@ ⊂λ	)`λ	)pλλ*⊂εJ ⊂∧J@@"Q↓A`∂εbpP∧∀@ @↓∀ `↓∪`⊃S@⊃⊂S ⊃ S⊃0S⊃0R`⊃@R`⊃@R@⊃PR@⊂Xαα`∀PB@`PR@⊂Pβα@∀PB@`PR@⊂Pβα@∀PB`@XR@⊃PR`⊃@R`⊃@S⊃0S⊃0S ⊃ S@⊃⊂S`⊃T `↓∀@ @↓∃↓∧("β$R8⊃Fa`H*Cj0(∧A*⊂ πA
_	@ip_
@i`_@iP_@iP⊂
@I@_
@i@⊂∞@I0_∞@i0⊂∂@I _∂@i ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I ⊂⊂@I _∂@i0⊂∂@I0_∞@i@⊂∞@I@_
@iP⊂
@IP_@i`_@ip_
@j_	@j⊂ πA
0(∧A*Px,α(T π∧α xλA dh¬∪00↓R`0@↓R` P↓∩@0P↓R@ `↓∩@ `↓∩@ `↓∩@ `↓∩@0P↓R` P↓∩`0@↓S00↓S!$xβ⊃(@xλ∧AqλαAIPP&β	0p%CI!%∧	!%∧	!%∧	0p%CI@`&BIp0"Qα↓`∂∧b0↓ε$P↓E@4Xα∧@Dhαβ@DxαBUλπ∃↓∧8βαA¬λπ∪`P@αS @pα∩`A⊂α∩@10↓R@!@↓⊃(A⊂π∧!P∧Cj⊃λ'A	`_&@i@_&I0_%@I _%I ⊂%I ⊂%I ⊂%i0⊂%@i@⊂&iP_'ip (D*0x#A`⊃8%EhT 	FβB⊂
↓tPλV EX↓W5h↓W@%p↓W`%x↓X&↓_&↓_&↓↔`5x↓↔@5p↓↔ 5`↓V`5Hα∩B∀PπQ`pRBt("¬C↓`⊃εB`⊂0L⊂/@kp⊂/kP_.k0_,A
`()↓i `%β
 8+↓+⊂ -@k@_.@k`_/@Kp_0L⊂0Hp8ε	!@"Qαq@∞λC ↓∩@$P↓∩@4X↓∩`4`↓S 4p↓S`EλαT`u0ε∃AE_βT Txα∪@4h↓S4X↓R`$P↓R@$P↓∩@$8β@β∧P⊃(A@∞πA⊂pαA"⊂λ&B!pλ&αa`λ%AP εI0⊂∧@a0⊂%A0_∧@I ⊂ε↓P %!`X%!pH%"⊂("Qβ⊃`∂∧b0(αD ∀h∧C`∀`¬C@∀Xα↓ PX↓∩@0Hαα 4P↓α`P(α∩@⊂p¬R@⊂x∧R@⊃λαQ` (αD ∀h∧C`∀`¬C@∀Xα↓ PX↓∩@0Hαα 4P↓α`P(α∩@⊂p¬R@⊂x∧R@⊃λαQ(A`∩Ic18a⊂_/↓↓ .@a⊂_-A↓ ,A↓ ,a⊂_+↓↓ *↓↓ )@a⊂_(A↓ 'A↓ &A↓ &a⊂_%↓↓ %↓↓ &a⊂_&A↓ 'A↓ (A↓ )@a⊂_*↓↓ +↓↓ ,a⊂_,A↓ -A↓ .@a⊂_/↓↓ 0a⊂_"QβR(∪Fbp↓B 4XααDh↓B 4pααEααE⊂↓B 5_ααE(ααE8↓B 5@ααEPααE`ααEp↓B 5xααExααEp↓B 5`ααEPααE@ααE8↓B 5(ααE_ααE⊂↓B 5ααDpααDh↓B 4XααDP↓B 4("πC↓`E"`⊂0L⊂/@kp⊂/kP_.k0_,A
`()↓i `%β
 8+↓+⊂ -@k@_.@k`_/@Kp_0L⊂0HT ∂FβAH
@$P↓∩@$P↓R`$X↓S4h↓S@4xα∀ U_βUAE0ε∀`uλαS`Dp↓S 4`↓R`4X↓∩@4P↓∩@$P↓⊃(B(∩IdAX
@p⊂3α-0_5↓
⊂_@-_↓,p_↓@,`_α,P_α@,@_β@,0_∧, _0@l_/@k`_.@k@_-@k _,@k_+@j`_*@j@_)@j _(@j_'@i`_&@i@_%@i _%HT ∪	$r ∞$P↓R`4`↓S 4p↓S`5↓T 5⊂↓T`5 ↓U 50↓U`5@↓V 5P↓V`5`↓W 5p↓W`6↓X 6⊂↓X`0@Y08Y 0(Y@0 Y`0_Z0⊂Z 0λZ@FX↓YA⊗ ↓↓`$("	cAp	∧@P(λ@)PHπ@)@Xπ)0 αA!0⊂%a⊂ ∧@i ⊂¬A P %!`X%!pH%"⊂(#B↓`%πλT ∀	$q8
C@∃8↓∃`%0↓∃ % ↓∀c5⊂∞T $x↓SDPαSDp↓T5λ↓TcE 
∃ %(↓∃@%8↓∃`%@Q(BH∩Ibq(,⊂0L⊂⊂1L0⊂%Fi!h3Lp_4A
 (4A
_3lP_%π	1P1L ⊂0@L⊂0Lλ"Q¬!HHc0`U@∃(↓U 5 ↓ % ↓ %_↓`%⊂↓↓ %λ↓↓`%↓A`4xα↓`Dp↓  8↓ $`↓@@ 8↓@4Pα` 8↓`DXA  8↓↓ ∃λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`%λ↓↓`$("
c⊃H⊃F`p⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@J⊂⊂β@I0λα@@p⊂α@)  ↓@@p⊂↓A	@_↓@p⊂↓i`⊂@@p⊂@Ip βA
_β@j⊂⊂β@J ⊂α@J0⊂↓@J@⊂@J@⊂@JP_*@j`λ+(T ⊗	$q8
C⊂XU  X↓∃ h↓∃ h↓∀` x↓∀@0x↓TBUλS`1(↓S@18↓S1X↓R@Ahα∪1X↓S 1H↓S`!8↓∀!(↓∀"u⊂
T` x↓∀` x↓∃ h↓∃0X↓U  X↓∃@⊂XQ(Bh∩IdAX@p⊂%α)0_%A	0λ@i0λ↓i0λ↓@i0λαi0λα@i λβ@i λ∧j@_*@j`_+@k_,@k _-@k@_.@k`_/@l_0@l _1@l@_2@l`_3@m_4@m _5@m@_6@HT ↔	$r ∞λ`&`↓Z`6P↓Z 6@↓Y`60↓Y 6 ↓X`6⊂↓X 6↓W`5p↓W 5`↓V`5P↓V 5@↓U`50↓U 5 ↓R@⊂@↓R@⊂8↓R`⊂(↓R`⊂ ↓R`⊂_↓R`⊂⊂↓R`⊂λ↓R`DX↓RA∀P↓↓`$("cApλ∧P(π↓	PP∧@i@⊂β↓`_%@A αI0λ¬↓0λ%A0 @) λεA) λπi λπ↓	 λπ@i λπ↓) ⊂ε@ ⊂ %@!@λ↓A	0⊂¬@@ &@p_β↓	P_↓@a⊂8'A!` "Qε@∧DbP(↓∪@Dpα∪@Dhα∪ Dhα∪ 4h↓SD`↓S4`↓∩`4X↓R`$X↓∩@4P↓∩@$("b18E@P%β
@ +jp_,k⊂⊂,@k ⊂-k0⊂-@I!_%∧k0⊂-@K _-K⊂_,@K_+@j`_*↓	 `%αHT ~λ∧1X
C`%@α⊗E8β∃` ⊂↓∃@0⊂↓U@  ↓∃ 0 ↓U00↓U @↓∀`0@↓T` P↓∀@0P↓T 0`↓T  p↓∀0p↓T!↓∪`1↓S`!⊂↓∪@1⊂↓S 1 ↓S !0↓∪10↓S!@↓∩`1@↓R`!P↓∩D∧P⊂⊃(C(⊂λc1_λ	"%@C ⊂%@c_&C⊂&b`_&@B`⊂&@b@_'b _'@B ⊂'@b_(B⊂(a`_(@A`⊂(@a@_)a _)@A ⊂)@a_*A⊂*``_*@`@_+@@⊂+` _+@@ ⊂+AK ,↓⊂⊂"Qεa 
λc1⊂↓⊗`5X↓⊗@5P↓⊗ 5H↓⊗5@↓∃`58↓∃@50↓∃ 5(↓∃5 ↓∀`5⊂↓T@%λ↓T %↓T$x↓S`$p↓S@$h↓S $`↓S$X↓R`$P↓R@$("
`0(π∧⊂%I ⊂%I ⊂%I _%i ⊂%I ⊂%I ⊂%HT ≥Dα!x∞B`%(↓∪a∧p↓↓$h↓↓ 4`↓↓@D`↓↓ TX↓↓@ ⊂↓∩` 0↓@$X↓↓@ ⊂↓∩@0(↓@@4P↓A  _↓R@0(↓`4P↓A  _↓R@0 ↓@`4P↓A  ↓R@0 ↓↓4P↓@`0 ↓R@0_↓↓ 4P↓@` (↓R@0_↓↓ 4P↓@@0(↓R` ⊂↓↓@$X↓@ 0↓∩`0λ↓↓ 4Xβ↓ 4`α↓@$h↓A $p↓↓$h∧∪ $h↓⊃(C`∞πC1X↓A↓ (& @⊂α@`⊂(%@ P_↓@P % p βA) λβA↓ % p ∧A	0λβ↓↓⊂(& P ¬↓	Pλα↓↓ (' 0 ¬A	`⊂↓↓!0 '@  (¬@ipλ↓↓! ⊂'@  x% 0⊂↓↓ @ % 0λ↓A @ % 0λ↓A @ %@`@(α↓
  αA
  αA
  αA
  αA
  αA	0⊂α@`` %@`_β↓	@λα@A ↓@I@⊂↓@A 0'↓↓@_"QπQX∞Fc00β∪@ (α∪ @α∩`⊂XαR`⊂`αR@⊂pαR@⊂xα↓@∀PD@ R@⊃⊂β∩@∀XS⊃αS ⊂p↓@`$p↓α`00T@0α↓@∃Pα⊗@EXα⊗`E`α∩@`hα∪ P`α∪`@Xα∀@Pα∀ @Hα∀@P0α∃@_αU!∀("∂CAp
F`↓`%π
p⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@Jp⊂+@HT ∨GβaX
C %8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∩CDP∞⊃(D
Ec1X@!Pλ%A@⊂%A@_%a0 %↓↓ (%@a0(&a0(&↓↓0 &A↓ λ@I` ∧@ ⊂⊂'Apλ↓)p(β)`⊂APλ' 0 α)P⊂α↓0λ&@@P ↓)@_β↓)@_βA	@_∧↓	@_∧A	@_¬↓	P_¬iP ¬i` ∧A	` ¬i` ¬@I` ¬@I 8ε(T .Ec⊃0!_↓∩@!_↓∩@!_↓∩@!_↓∩@ H↓α$P↓α  @↓∩@ H↓α$P↓α  @↓∩@ H↓α$P↓α  @↓∩@ ⊂π@@$P↓Ap⊂↓∩@ H↓α$P↓α  @↓∩@ H↓α$P↓α  @↓∩@ H↓↓`4P↓B 8↓∩`0x↓S0h↓S P8αSaU⊂βQ(F
Ec1XI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I!(%¬) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊃(Fc1_↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓∩BTP
W %h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ %h↓↔ $("_A1⊂∪G ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I X%αhT 1Ba28∞B %_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∩A4P¬Q(F ¬DDqhαi X%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"QPX¬IcP¬RA5_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`$("~↓⊂h∪G p⊂(@J_(J⊂'@ip⊂'i`⊂'IP_&@IP⊂&i@⊂%@i0⊂%@I _%I ⊂%i0⊂%@I0_&I@_&@IP⊂&@i`⊂'I`_'@Ip_(J⊂(j⊂⊂(@HT 4B!28∞@$P↓∩@4X↓∩`$X↓S$`↓S $h↓∪ 4p↓∪@$p↓S`$x↓T%↓∀5λ↓∀ %↓T%↓∪`4x↓∪@4p↓∪@$h↓S $h↓∪4`↓∩`4X↓∩`$P↓R@$P↓⊃(FXε∧∧qhA⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂%A⊂"Q
A		cP@T %α∀Dx@  λS  ⊂↓@$`A  R`⊂(↓↓ ∃λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ %λ↓∀ $XA  (S⊂ ↓↓∀h↓@ ⊂↓∪`⊂λ↓ ∃α∀Eλ↓∀@∀("≠#⊃H∪G!@λ+*P_*@⊂⊂*@⊂⊂)@@0⊂)@P⊂(@@p⊂'Ap '↓ p(%A ⊂β@@  %↓0⊂β@@0 (@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂(@@p⊂%↓0⊂β@@0 %A ⊂β@@  '↓ p('Ap (@@p⊂)@P⊂)@@0⊂*@⊂⊂*@⊂⊂*@j`λ+(T 7Aa⊃X@D`↓S 4h↓S@4p↓S@4p↓S@4p↓S 4h↓S 4`↓S4X↓R`4X↓R@4P↓R@4P↓R@4P↓R`4X↓S4hα⊃(G⊃	∧pλ⊂M⊂_4@M_4Lp_3@L`_3LP_2@L@_2L0_1@L _1L⊂_0@L_'Ap_&↓↓p⊂%@  _ε@i λ↓@aP⊂'@a0_'@a0⊂(a⊂_(a⊂⊂(@`p_(@`p⊂)`P_)`P⊂)@`0_)@`0⊂*`⊂_*`⊂⊂*A*P +j`⊂"Q∞⊃X∞FC ¬A!4pαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`Dpαα`DP
Q(G⊂∂λβ!PπI1`%G	@ 
@)@(
)P 	@)P(	)` λ@)`(π@Ip π@)p(ε@J(ε*⊂ ¬@*⊂(¬*  ∧@* (∧*0 β@*0(β*@ α@*@(α*P ↓@*P(@J`0+A
p ,K⊂"Q∞A(¬B`↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P
RBT("≥"Q@¬@↓(%¬) ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@HT ;ε#R⊂
β∀PR@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩C∀PQ`pRC∀("≥c⊃`⊃ε@↓H%ε,⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@L⊂⊂0@I!H%ε(p8ε)!H"Q∂`πHc0 α∪  R`0(R` 0↓∩@0(↓R@0(↓R@4P↓R`$X↓S$p↓∪ T`↓`$X↓A$P↓A@$P↓A@4P↓A@4P↓A@4P↓A@4X↓↓@4`↓↓4h↓`$pαT%⊂↓∀@5_↓∀`5_↓R`0(↓R`0(↓R` 0↓∪⊂(↓S ⊂ ↓∪@D("≡!qλ⊃F`pλ(j_(j_(j_(@*⊂λ(@)0 ↓   %βi0 ↓   (@*⊂λ(j_(j_(j_(j_(j_(j_(j_(j_(@*⊂λ(@*⊂λ(@(T =βb∩_
A`∃↓T5↓T5λT ∀XA ⊂(RAtPπT ∃λT ∃↓T5↓T5λQ`⊂8T5↓T5↓T ∃λR`@⊂@`4PπR`@⊂@@EλT ∃↓T5↓T5λQ(GXε∧1XβCiqλ&B@0⊂&α`0⊂%C0⊂%C0⊂%β 0⊂%β 0⊂%β 0⊂%β 0⊂%β 0⊂%β 0⊂%β 0⊂%C0⊂%C0⊂&α`0⊂&B@0⊂'B0⊂)↓ 0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂*@@0⊂"Q∂Ap∂Hβ0hα∃!¬ ¬∀aE_ε∀Ae⊂π∀Ae⊂π∀Ae_ε∀aE ¬∪@@⊂¬@D`
∩cDX∞∩CdP∂∩CdP∂∩CdP∂∩cDX¬@@ ⊂¬S↓ ⊂↓A$h∧@@ ⊂∧S`P ↓↓U@↓∃`E8α∃`E8α⊃(Gh∞πD↓Xε@J` +↓
P0*@@ ⊂*` _)@`@_)``_)A⊂(@a_(a _'@a@_'a`_&@b_&b _%@b@_%b`_%@b@_&b _&@b_'a`_'@a@_(a _(@a_)A⊂)``_)@`@_*` _*@@ ⊂*AJ` +↓
p⊂"Q∂a`∂εc0(αBTh∧A↓∀`↓A 0⊂↓A 4X↓A``8↓R` Hαα $P↓B@ P↓R@ X↓α`$P↓ε$P↓ε$P↓ε$P↓ε$P↓E@4X↓¬@$X↓E4`↓¬$`↓D@4h↓D4p↓C@4x↓C5↓B@5λ↓B5⊂↓A@5_↓A5 ↓@@5(β∃@E0α∃`$("∨cAp⊂εaP⊂+@J` *AJP0*α
0P)β
⊂p(∧	q⊂'¬	Q0&ε	A@%FI1P%π	!`%π	!`%π	!`%π	0P↓@ P%B@ ⊂↓αI@H↓@ H'↓ @⊂α↓*p⊂+↓
` +↓
` "{avH2→-g 4YM⊗(9λλ4h)V=qh1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ∞7H6XMv`9{aF07[NF00XlV⊂<]←_;@|αp|@⊂/I<@¬@OX≠@OX≠␈␈␈x␈@↔?␈␈xm∂=@αλβ'∂↓<x{!@α.≥∧\␈0↓λ h≤<
1}`_
@↓λ∧↓(=@Bλβ'∂αU8{↓"P∧ ↓∧↑o0βλ h≤<¬v↑`8⊂@↓S@x↓(;=Aαλβ'∂↓AH{α$⊂εN≡¬6←0¬λ h≤<ε/≡`X⊂@↓S@x↓0∪=ABλβ'∂αkh{β% λ@α¬gO0π¬ @@αr}`x
@↓λ∧↓@¬=Bαλβ'∂ββλ{∧$⊂εN≡∧D/0	λ h≤<~↑a_⊂@↓S@x↓@U⎇BBλβ'∂α~{¬$⊂εN≡∧<∨0λ h≤<;≡a8⊂@↓S@x↓H⊗⎇Cαλβ'∂β⊗p{ε$⊂εN≡ε4←0
λ h≤<λ
↑aX⊂@↓S@x↓2⎇CBP∧ ↓β ⊂{π% λ@αεO∨0∂λ h≤<
<≡ax⊂@↓S@x↓X∃⎇DαP∧ ↓↓zH{λ% λ@αβyO0⊃¬ @@απR↑b_
@↓λ∧pu⎇DBP∧ ↓↓}x{	% λ@αεlo0∪
@↓λ∧
q}b8⊂@↓S@x↓`∀=EαP∧ ↓βEx{
% λ@απ∩o0∃ε@P1f∞3>bX
↓&_L↓h6=EBP∧ ↓β`X{% λ@απM/0↔
@↓λ∧∂2}bx⊂@↓S@x↓x⊗=FX↓∪G⊂βxH{% λ@α∧⎇␈0→πX*Xλ(≡c_∞↓5(0↓x\=FB8βcHβ␈_{
$pπG⊂λo0≠⊂2>c8αλ=G↓Hα.≥α
X{∞#∧\:∧(O0≥πX*Xλ`}cX
@↓λ∧αλ≥⎇GAxβλr@∧≥P{∂#pε⊃eλP←0∨λ h≤<⊃=≡cx⊂@↓S@xα_→⎇H↓PαL9@∧7⊂{⊂$ εek@∧?0!πX∞U@&≡d_↓⊂Mλ
⎇HBλβ$↑⊂⊗@{⊃"`∧>≥@;␈0#π@`⊃
↓≡d8@↓!@@⊂>⎇Iα βN|p.`{∩"p∧WE`n∨0%π XBo↓o≡dX⊂↓NX& ∂⎇IAhαv∂0I@{∪& 
∞o ↓≥∨0'λ`hsw@αg↑dx⊃↓W8≥0!⎇J↓pα|IPl⊂{∀$0εxF↓e␈0)	pA'@βk≡e_
↓$X5@⊗⎇JA8α,→↓λ⊂{∃# ¬&\`α→␈0+ε@P?q∧U↑e8∃α
xeHa⎇K↓pββ `↓(@{⊗#@¬Rd α←?0-π@`≠s¬]≡eX∞↓5(0h9⎇KA`αjV↓]⊂{↔#@¬U,λ}␈0/πX*Xπ>ex∞↓5(0pG=L↓PαL9@∧G⊂{_# ¬_s	⊗∨01∧`8G⊂∩<≡f_	@xp α(#⎇LA_↓qd∧Yp{→"0βcH	>←03¬ @@α	P>f8
@↓λ∧↓_L=M↓↓SG@∧d`{~"β'∂	T?05β \:	$≡fX
@↓λ∧α0⎇=MA(α⊂@∧zλ{≠# ¬_s
β∂07¬ @@α	∞>fxεK@tα@a⎇Nα_βE+@¬⊂⊂{≤$ε.y
/←09λ`p∃.∀{↑g_	q@u↓ 4=NA`αjV¬%λ{≥#@¬U,
V∂0;λ h≤<∃C}g8⊂@↓S@xαX(=O↓_↓qd¬9λ{≡"@βcH↓∂0=¬8G⊂⊗↔}gX
↓&_Lα`]=OBλβ'∂¬Th{∨$⊂εN≡5/0?λ h≤<↔	>gx⊂@↓S@xαpP> ↔O⊂=xow{⎇x